Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
71	Acquisition of Principle B: Evidence from Exceptional Coreference Contexts Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:07 Semantics Pragmatics Coreference Personal pronouns English grammar Free variables and bound variables Antecedent Anaphora Singular they Syntax Linguistics Modern English personal pronouns
72	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2005-01-28 17:00:32 Functional languages Procedural programming languages Cross-platform software Lisp programming language Type theory Scheme Lisp Scope Free variables and bound variables Software engineering Computing Computer programming
73	FlashExtract: A Framework for Data Extraction by Examples Vu Le ∗ Sumit Gulwani University of California at Davis Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-11 16:08:24 Computer programming Free variables and bound variables Logic Mathematical notation Predicate logic Spreadsheet AWK Regular expression Computing Software engineering Software
74	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-28 16:23:58 Declarative programming Combinatory logic Lazy evaluation Anonymous function Fold Apply Free variables and bound variables Function Curry Software engineering Computing Lambda calculus
75	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Combinatory logic Free variables and bound variables Natural deduction Church encoding Constructible universe Fixed-point combinator Theoretical computer science Lambda calculus Mathematical logic
76	Predicate Calculus and Jess Wolfgang Laun Thales Rail Signalling GesmbH Vienna, Austria 5 February 2009 Add to Reading List Source URL: www.jessrules.com Language: English - Date: 2009-02-10 10:12:12 Predicate logic Propositional calculus Quantification Jess Predicate First-order logic Proposition Universal quantification Free variables and bound variables Logic Mathematical logic Mathematics
77	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 This assignment starts on Mon, [removed]and is due on Tue, [removed], 23:59h. We will accept plain text (.txt) files, PDF (.pdf) files, and Isabel Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Quantification Boolean algebra Propositional calculus Lambda calculus Universal quantification Existential quantification Mathematical proof Free variables and bound variables Negation Mathematical logic Logic Mathematics
78	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 Solution Toby Murray August 27, 2014 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Constructible universe Unification Free variables and bound variables Combinatory logic Fixed-point combinator Theoretical computer science Mathematics Mathematical logic
79	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
80	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic